Unfold `eq\_bool` 0